Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
261	Sustaining Moore’s Law in Embedded Computing through Probabilistic and Approximate Design: Retrospects and Prospects Krishna V. Palem Lakshmi N.B. Chakrapani Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:20:27 Electronic design Probabilistic complexity theory Digital electronics Integrated circuits Logic families Krishna Palem Randomized algorithm PP Probabilistic logic Theoretical computer science Electronic engineering Computational complexity theory
262	Low-Knowledge Algorithm Control∗ Tom Carchrae and J. Christopher Beck Cork Constraint Computation Center University College Cork, Ireland {t.carchrae, c.beck}@4c.ucc.ie Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Cybernetics Theoretical computer science Mathematical optimization Algorithm Mathematical logic Reinforcement learning Computational complexity theory Genetic algorithm Supervised learning Machine learning Applied mathematics Mathematics
263	Ultra-Efficient (Embedded) SOC Architectures based on Probabilistic CMOS (PCMOS) Technology∗ Lakshmi N. Chakrapani Bilge E. S. Akgul Suresh Cheemalavagu Krishna V. Palem Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 22:04:00 Probabilistic complexity theory Integrated circuits PSoC Randomized algorithm Probabilistic logic Probabilistic design PP Monte Carlo method Pattern recognition Theoretical computer science Applied mathematics Computational complexity theory
264	LNCSSim-DL: Towards a Semantic Similarity Measurement Theory for the Description Logic <TEX>$hcal ALCNR$</TEX> in Geographic Information Retrieval Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:39:16 Knowledge Knowledge representation Semantic Web Knowledge engineering Computational linguistics Semantic similarity Description logic Similarity Ontology Information science Science Information
265	The Effect of Context on Semantic Similarity Measurement Carsten Keßler1 , Martin Raubal2 , and Krzysztof Janowicz1 1 2 Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 12:02:19 Semantic similarity Information science Similarity Information Description logic Semantic Web Ontology language Knowledge Computational linguistics Science Ontology
266	arXiv:1305.0904v1 [cs.SI] 4 MayWhat does mathoverflow tell us about the production of mathematics? Ursula Martin Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-05-06 20:18:41 Community websites Philosophy of mathematics MathOverflow Areas of mathematics Mathematical proof Stack Exchange Network Computational mathematics Computer science Mathematical practice Mathematics Logic Science
267	Viterbi Training Improves Unsupervised Dependency Parsing Valentin I. Spitkovsky Computer Science Department Stanford University and Google Inc. Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2010-05-07 03:00:45 Linguistics Computational linguistics Bioinformatics Bayesian statistics Statistical natural language processing Stochastic context-free grammar Word-sense disambiguation Maximum likelihood Parsing Estimation theory Logic Science
268	Simple Rules for Low-Knowledge Algorithm Selection? J. Christopher Beck and Eugene C. Freuder Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Cork, Ireland {c.beck,e.freuder}@ Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Theoretical computer science Operations research Algorithm Mathematical logic Genetic algorithm Computational complexity theory Online algorithm Travelling salesman problem Ant colony optimization algorithms Mathematics Applied mathematics Mathematical optimization
269	Extracting Lexically Divergent Paraphrases from Twitter Wei Xu1 , Alan Ritter2 , Chris Callison-Burch1 , William B. Dolan3 and Yangfeng Ji4 1 University of Pennsylvania, Philadelphia, PA, USA {xwe, ccb}@cis.upenn.edu 2 Add to Reading List Source URL: www.transacl.org Language: English - Date: 2014-10-20 15:27:27 Natural language processing Logic Automatic summarization International Corpus of English N-gram Semantic similarity SemEval Twitter Entailment Linguistics Computational linguistics Science
270	This article was downloaded by: [Chinese University of Hong Kong] On: 08 April 2013, At: 23:00 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-04-09 12:52:39 Mathematical logic Boolean circuit Computational complexity theory Logic in computer science Boolean algebra Switch Railroad switch Reverse engineering Nonblocking minimal spanning switch Algebraic logic Theoretical computer science Mathematics

UPDATE